Логическая задача на множества